"Lawrence C. Paulson" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Interactive Theorem Proving: First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings (Lecture Notes in Computer Science Theoretical Computer Science and General Issues)

Matt Kaufmann, Lawrence C. Paulson

Категория: Компьютеры

5.20 Mb

#2

ML for the working programmer

Lawrence C. Paulson

2.82 Mb

#3

Isabelle-HOL - A Proof Assistant for Higher-Order Logic

Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel

Категория: Cs_Computer science, CsLn_Lecture notes

824 Kb

#4

Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science)

Lawrence C. Paulson

1.50 Mb

#5

Isabelle: A Generic Theorem Prover

Lawrence C. Paulson, T. Nipkow

1.88 Mb